Jan A. Bergstra
- Projection semantics for rigid loops
2007/07/06 by Jan A. Bergstra, J.A. Bergstra, Alban Ponse +2 · 4 citations
Computer Science · #D.2.4 #D.3.1 #F.3.2 #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL) #cs.PL
- Mechanistic Behavior of Single-Pass Instruction Sequences
2008/09/26 by J.A. Bergstra, Jan A. Bergstra, Bergstra, Jan A. +2 · 1 citation
Computer Science · Engineering · #Advanced Measurement and Metrology Techniques #Advancements in Photolithography Techniques #Vibration and Dynamic Analysis #cs.LO #cs.PL